Sighireanu, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Comput. Soc IEEE International Symposium on Parallel and Distributed Processing - San Francisco, CA, USA (23-27 April 2001)] Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001 - Generation of fault-tolerant static scheduling for real-time distributed embedded systems with multi-point links

Girault, A., Lavarenne, C., Sighireanu, M., Sorel, Y.

Year:

2001

Language:

english

File:

PDF, 120 KB

english, 2001

2

Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS

Mihaela Sighireanu, Radu Mateescu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 433 KB

english, 1998

3

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism

Mihaela Sighireanu, Tayssir Touili

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

4

Efficient on-the-fly model-checking for regular alternation-free mu-calculus

Radu Mateescu, Mihaela Sighireanu

Journal:

Science of Computer Programming

Year:

2003

Language:

english

File:

PDF, 440 KB

english, 2003

5

[IEEE 2011 31st International Conference on Distributed Computing Systems (ICDCS) - Minneapolis, MN, USA (2011.06.20-2011.06.24)] 2011 31st International Conference on Distributed Computing Systems - Guidelines for the Verification of Population Protocols

Clement, Julien, Delporte-Gallet, Carole, Fauconnier, Hugues, Sighireanu, Mihaela

Year:

2011

Language:

english

File:

PDF, 474 KB

english, 2011

6

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Simple Algorithm for Simple Timed Games

Abdeddaim, Yasmina, Asarin, Eugène, Sighireanu, Mihaela

Year:

2009

Language:

english

File:

PDF, 302 KB

english, 2009

7

[IEEE 2003 International Conference on Dependable Systems and Networks, 2003. - San Francisco, CA, USA (22-25 June 2003)] 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings. - An algorithm for automatically obtaining distributed and fault-tolerant static schedules

Girault, A., Kalla, H., Sighireanu, M., Sorel, Y.

Year:

2003

Language:

english

File:

PDF, 530 KB

english, 2003

8

[IEEE Comput. Soc 21st International Conference on Distributed Computing Systems - Mesa, AZ, USA (16-19 April 2001)] Proceedings 21st International Conference on Distributed Computing Systems - Fault-tolerant static scheduling for real-time distributed embedded systems

Girault, A., Lavarenne, C., Sighireanu, M., Sorel, Y.

Year:

2001

Language:

english

File:

PDF, 410 KB

english, 2001

9

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - On inter-procedural analysis of programs with lists and data

Bouajjani, Ahmed, Drăgoi, Cezara, Enea, Constantin, Sighireanu, Mihaela

Year:

2011

Language:

english

File:

PDF, 623 KB

english, 2011

10

On inter-procedural analysis of programs with lists and data

Bouajjani, Ahmed, Drăgoi, Cezara, Enea, Constantin, Sighireanu, Mihaela

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 623 KB

english, 2011

11

A refinement hierarchy for free list memory allocators

Fang, Bin, Sighireanu, Mihaela

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 347 KB

english, 2017

12

Compositional entailment checking for a fragment of separation logic

Enea, Constantin, Lengál, Ondřej, Sighireanu, Mihaela, Vojnar, Tomáš

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.28 MB

english, 2017

13

Formal modelling of list based dynamic memory allocators

Fang, Bin, Sighireanu, Mihaela, Pu, Geguang, Su, Wen, Abrial, Jean-Raymond, Yang, Mengfei, Qiao, Lei

Journal:

SCIENCE CHINA Information Sciences

Year:

2018

Language:

english

File:

PDF, 1.28 MB

english, 2018

14

Formal modelling of list based dynamic memory allocators

Fang, Bin, Sighireanu, Mihaela, Pu, Geguang, Su, Wen, Abrial, Jean-Raymond, Yang, Mengfei, Qiao, Lei

Journal:

SCIENCE CHINA Information Sciences

Year:

2018

File:

PDF, 1.28 MB

2018

15

Report on SL-COMP 2014

Sighireanu, Mihaela, Cok, David R.

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2016

File:

PDF, 985 KB

2016